On Precise Modeling of Regular Replacement

نویسندگان

  • Xiang Fu
  • Chung-Chih Li
چکیده

This paper studies the precise modeling of various semantics of regular substitution, such as the declarative, finite, greedy, and reluctant replacement, using finite state transducers (FST) as filters. By projecting an FST of regular replacement to its input/output tapes, we are able to solve atomic string constraints, which can be applied to both the forward and backward image computation in model checking and symbolic execution. We report several interesting discoveries, e.g., certain fragments of the general problem can be handled using less expressive deterministic finite state transducers. A compact representation of FST and the customized algorithms for FST operations are developed. It is shown that the precise modeling of regular replacement can help discover delicate security vulnerabilities of software systems with very few false

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling Regular Replacement for String Constraint Solving

Bugs in user input sanitation of software systems often lead to vulnerabilities. Among them many are caused by improper use of regular replacement. This paper presents a precise modeling of various semantics of regular substitution, such as the declarative, finite, greedy, and reluctant, using finite state transducers (FST). By projecting an FST to its input/output tapes, we are able to solve a...

متن کامل

Anisotropy in Elastic Properties of Porous 316L Stainless Steel Due to the Shape and Regular Cell Distribution

In this study, two-dimensional finite element modeling was used to study the simultaneous effect of the cell shape and regular cell distribution on the anisotropy of the elastic properties of 316L stainless steel foam. In this way, the uniaxial compressive stress-strain curve was predicted using a geometric model and fully solid 316L stainless steel. The results showed that the elastic tangent ...

متن کامل

Laboratory Studies on the Effect of Vertical Gravel Column Drains on Liquefaction Potential

Abstract: In recent years deadly earthquakes in seismic areas have caused special concerns regarding liquefaction phenomenon by researchers and specialists. Excess pore water pressure in loose sediments may cause phenomena such as boiling, shearing strength and dynamic stiffness reduction and lateral movements cause difficulties. Many remedial methods such as soil replacement with proper materi...

متن کامل

بررسی میزان تاثیر جایگزینی شیر با ماست پروبیوتیک و ماست معمولی بر سطح چربی های خون در افراد هیپرکلسترولمیک و نورموکلسترولمیک

Background: Milk and fermented milk products have been known as foods with possible hypocholesterolemic effects. In this study we compared the effects of milk replacement with regular and probiotic yogurt in normocholesterolemic (N) and hypercholesterolemic (H) subjects. Methods: Twenty eight subjects with total serum cholesterol 160-280 mg/dl were included. They did not consume yogurt for 2 we...

متن کامل

A Novel Drawing Method for Innovative Design of Karbandi Case Study: The Karbandis of Tabriz Historic Bazaar

Karbandi is a common structural and covering pattern for arched surfaces in Persian architecture, which is rooted in the precise methods of descriptive geometry. These methods, due to their strict geometry, do not have much flexibility and have been used only in specific fields in Iranian architecture. Therefore, the questions arise: what are the limitations and requirements of common drawing m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009